done: while (true) { continue done; }
